16

Checking reachability using matching logic

Year:
2012
Language:
english
File:
PDF, 536 KB
english, 2012
35

MatchC: A Matching Logic Reachability Verifier Using the

Year:
2014
Language:
english
File:
PDF, 317 KB
english, 2014